<html>
<head><meta charset="utf-8"><title>readily identifiable arenas · general · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/index.html">general</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/readily.20identifiable.20arenas.html">readily identifiable arenas</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="134186285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/readily%20identifiable%20arenas/near/134186285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/readily.20identifiable.20arenas.html#134186285">(Sep 18 2018 at 19:08)</a>:</h4>
<blockquote>
<p>modulo longer lived arenas like 'tcx in the compiler, which are the exception, and also readily identifiable</p>
</blockquote>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> what makes them readily identifiable?</p>
<p>(<a href="https://github.com/rust-lang/rust/issues/44524#issuecomment-422505328" target="_blank" title="https://github.com/rust-lang/rust/issues/44524#issuecomment-422505328">context</a>)</p>



<a name="134186407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/readily%20identifiable%20arenas/near/134186407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/readily.20identifiable.20arenas.html#134186407">(Sep 18 2018 at 19:11)</a>:</h4>
<p>perhaps that was the wrong phrase. What I meant was "when you see the name <code>'tcx</code>, you know what it is"</p>



<a name="134186425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/readily%20identifiable%20arenas/near/134186425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/readily.20identifiable.20arenas.html#134186425">(Sep 18 2018 at 19:11)</a>:</h4>
<p>or, to put another way, you had better learn...</p>



<a name="134186523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/readily%20identifiable%20arenas/near/134186523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/readily.20identifiable.20arenas.html#134186523">(Sep 18 2018 at 19:12)</a>:</h4>
<p>in other words, when I see <code>Foo&lt;'tcx&gt;</code> in the compiler, I know that it can escape, in contrast to <code>Foo&lt;'a&gt;</code>, which I may not be able to do; <code>Foo&lt;'_&gt;</code>, of course, is ambiguous, which I see as suboptimal</p>



<a name="134186528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/readily%20identifiable%20arenas/near/134186528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/readily.20identifiable.20arenas.html#134186528">(Sep 18 2018 at 19:12)</a>:</h4>
<p>Personally, I always assume it's a misspelling of <code>ctx</code>, one of the common abbreviations for "context", but it's not like I'm in there a lot</p>



<a name="134186617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/readily%20identifiable%20arenas/near/134186617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/readily.20identifiable.20arenas.html#134186617">(Sep 18 2018 at 19:14)</a>:</h4>
<p>the specific name is not really the point</p>



<a name="134186622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/readily%20identifiable%20arenas/near/134186622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/readily.20identifiable.20arenas.html#134186622">(Sep 18 2018 at 19:14)</a>:</h4>
<p>I sort of want to rename it to <code>'global</code></p>



<a name="134186625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/readily%20identifiable%20arenas/near/134186625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/readily.20identifiable.20arenas.html#134186625">(Sep 18 2018 at 19:14)</a>:</h4>
<p>but anyway</p>



<a name="134186639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/readily%20identifiable%20arenas/near/134186639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/readily.20identifiable.20arenas.html#134186639">(Sep 18 2018 at 19:14)</a>:</h4>
<p>actually, it'd probably be <code>'infer</code> and <code>'gcx</code> would be <code>'global</code>...</p>



<a name="134186775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/readily%20identifiable%20arenas/near/134186775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/readily.20identifiable.20arenas.html#134186775">(Sep 18 2018 at 19:17)</a>:</h4>
<p>I know <em>the</em> name isn't the point, it's the fact that it <em>has</em> a name, right?</p>



<a name="134187576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/readily%20identifiable%20arenas/near/134187576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/readily.20identifiable.20arenas.html#134187576">(Sep 18 2018 at 19:31)</a>:</h4>
<p>yes</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>